科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:确认运行时分析检测到的死锁电位
Saddek Bensalem; Jean-claude Fernandez; Laurent Mounier; Klaus Havelund;
机译:通过变更影响分析检测潜在的僵局
机译:系统级设计的运行时死锁分析
机译:确认运行时分析检测到的死锁可能性
机译:一项经验调查,以发现在税务法庭备忘录案件中诉讼人使用的决策策略中是否存在确认偏差。
机译:通过多药耐药结核的假性暴发在分枝杆菌实验室中检测到标本污染:通过常规流行病学分析并通过分子技术进行确认。
机译:通过静态分析和运行时监视来检测潜在的死锁
机译:减少运行时死锁分析中的误报
机译:检测计算机程序中潜在死锁的方法和系统
机译:用于检测计算机程序中潜在死锁的方法和系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。